Theoremproving system
[计] 定理证明系统
🧩 词语组成解析
[计] 定理证明
🗣️ 情景例句
I enjoyed lunch, Susan.
这顿午餐真好， Susan。
Habit is a second nature.
习惯成自然。
In this way Native Americans were forced onto poor land that the settlers did not want.
就这样，美洲土著人被赶到殖民者所不要的贫瘠的土地上去了。